x86/mm: drop redundant smp_wmb() from _put_final_page_type()
authorJan Beulich <jbeulich@suse.com>
Fri, 27 Dec 2019 09:02:48 +0000 (10:02 +0100)
committerJan Beulich <jbeulich@suse.com>
Fri, 27 Dec 2019 09:02:48 +0000 (10:02 +0100)
commitc663d0c8150ca47a29fe2288709d43d296efe251
treed9d89b03063fb1891071f4089a4ed0583f81b91a
parentc497bfa63390db9d2242c1ae2dfbee2a000e7ece
x86/mm: drop redundant smp_wmb() from _put_final_page_type()

get_page_light()'s use of cmpxchg() is a full barrier already anyway.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/mm.c